Binary pattern tile set synthesis is NP-hard

In the field of algorithmic self-assembly, a long-standing unproven conjecture has been that of the NP-hardness of binary pattern tile set synthesis (2-PATS). The $k$-PATS problem is that of designing a tile assembly system with the smallest number of tile types which will self-assemble an input pattern of $k$ colors. Of both theoretical and practical significance, $k$-PATS has been studied in a series of papers which have shown $k$-PATS to be NP-hard for $k = 60$, $k = 29$, and then $k = 11$. In this paper, we close the fundamental conjecture that 2-PATS is NP-hard, concluding this line of study. While most of our proof relies on standard mathematical proof techniques, one crucial lemma makes use of a computer-assisted proof, which is a relatively novel but increasingly utilized paradigm for deriving proofs for complex mathematical problems. This tool is especially powerful for attacking combinatorial problems, as exemplified by the proof of the four color theorem by Appel and Haken (simplified later by Robertson, Sanders, Seymour, and Thomas) or the recent important advance on the Erd\H{o}s discrepancy problem by Konev and Lisitsa using computer programs. We utilize a massively parallel algorithm and thus turn an otherwise intractable portion of our proof into a program which requires approximately a year of computation time, bringing the use of computer-assisted proofs to a new scale. We fully detail the algorithm employed by our code, and make the code freely available online

Resonance Production

Recent results on rho(770)^0, K(892)^*0, f_0(980), phi(1020), Delta(1232)^++, and Lambda(1520) production in A+A and p+p collisions at SPS and RHIC energies are presented. These resonances are measured via their hadronic decay channels and used as a sensitive tool to examine the collision dynamics in the hadronic medium through their decay and regeneration. The modification of resonance mass, width, and shape due to phase space and dynamical effects are discussed.Comment: 8 pages, 10 figures, proceedings of the Quark Matter 2004, in Oakland, California, to be published in Journal of Physics G: Nuclear and Particle Physic

Non-Standard Neutrino Interactions and Neutrino Oscillation Experiments

In analyzing neutrino oscillation experiments it is often assumed that while new physics contributes to neutrino masses, neutrino interactions are given by the Standard Model. We develop a formalism to study new physics effects in neutrino interactions using oscillation experiments. We argue that the notion of branching ratio is not appropriate in this case. We show that a neutrino appearance experiment with sensitivity to oscillation probability $P_{ij}^{exp}$ can detect new physics in neutrino interactions if its strength $G_N$ satisfies $(G_N/G_F)^2 \sim P_{ij}^{exp}$. Using our formalism we show how current experiments on neutrino oscillation give bounds on the new interactions in various new physics scenarios.Comment: 10 pages, no figures, revte

The ansamycin antibiotic, rifamycin SV, inhibits BCL6 transcriptional repression and forms a complex with the BCL6-BTB/POZ domain

BCL6 is a transcriptional repressor that is over-expressed due to chromosomal translocations, or other abnormalities, in ~40% of diffuse large B-cell lymphoma. BCL6 interacts with co-repressor, SMRT, and this is essential for its role in lymphomas. Peptide or small molecule inhibitors, which prevent the association of SMRT with BCL6, inhibit transcriptional repression and cause apoptosis of lymphoma cells in vitro and in vivo. In order to discover compounds, which have the potential to be developed into BCL6 inhibitors, we screened a natural product library. The ansamycin antibiotic, rifamycin SV, inhibited BCL6 transcriptional repression and NMR spectroscopy confirmed a direct interaction between rifamycin SV and BCL6. To further determine the characteristics of compounds binding to BCL6-POZ we analyzed four other members of this family and showed that rifabutin, bound most strongly. An X-ray crystal structure of the rifabutin-BCL6 complex revealed that rifabutin occupies a partly non-polar pocket making interactions with tyrosine58, asparagine21 and arginine24 of the BCL6-POZ domain. Importantly these residues are also important for the interaction of BLC6 with SMRT. This work demonstrates a unique approach to developing a structure activity relationship for a compound that will form the basis of a therapeutically useful BCL6 inhibitor

Can R-parity violation explain the LSND data as well?

The recent Super-Kamiokande data now admit only one type of mass hierarchy in a framework with three active and one sterile neutrinos. We show that neutrino masses and mixings generated by R-parity-violating couplings, with values within their experimental upper limits, are capable of reproducing this hierarchy, explaining all neutrino data particularly after including the LSND results.Comment: 7 pages, Latex, 3 PS figures; in v2 a few clarifying remarks included and two references added (to appear in Physical Review D

Status of a hybrid three-neutrino interpretation of neutrino data

We reanalyze the non-standard interaction (NSI) solutions to the solar neutrino problem in the light of the latest solar, atmospheric and reactor neutrino data. We show that such solutions, although preferred by the solar data and consistent with the oscillation description of the atmospheric neutrino data, are ruled out by the first results of the KamLAND reactor experiment, at more than 3_sigma.Comment: 19 pages, LaTeX file using Elsart, 2 tables and 4 figures included. This version updates the one published in Nucl.Phys.B629:479-490,2002 by including the new KamLAND dat

World Congress on Insulin Resistance, Diabetes, and Cardiovascular Disease: Part 1

City, UT) discussed the association of early life stresses with heart disease, can-cer, Alzheimer’s disease, renal disease, and diabetes, leading causes of morbidity and mortality in the U.S. The most common stressor, intrauterine growth retardation (IUGR), is strongly associated with insulin resistance (IR) and with cardiovascular disease (CVD). The classic example of this phenomenon comes from study of the Dutch famine at the end of World War II, which occurred during a 5-month period when the Nazi occupiers retaliated for a railroad strike. Caloric intake dropped from 1,800 to 600 per day and after liber

The Song Must Go On: Resilience of the Songbird Vocal Motor Pathway

Stereotyped sequences of neural activity underlie learned vocal behavior in songbirds; principle neurons in the cortical motor nucleus HVC fire in stereotyped sequences with millisecond precision across multiple renditions of a song. The geometry of neural connections underlying these sequences is not known in detail though feed-forward chains are commonly assumed in theoretical models of sequential neural activity. In songbirds, a well-defined cortical-thalamic motor circuit exists but little is known the fine-grain structure of connections within each song nucleus. To examine whether the structure of song is critically dependent on long-range connections within HVC, we bilaterally transected the nucleus along the anterior-posterior axis in normal-hearing and deafened birds. The disruption leads to a slowing of song as well as an increase in acoustic variability. These effects are reversed on a time-scale of days even in deafened birds or in birds that are prevented from singing post-transection. The stereotyped song of zebra finches includes acoustic details that span from milliseconds to seconds–one of the most precise learned behaviors in the animal kingdom. This detailed motor pattern is resilient to disruption of connections at the cortical level, and the details of song variability and duration are maintained by offline homeostasis of the song circuit